//// demo_prog/chapter6/lec10_strlen.c
#include <stdio.h>
#include <string.h>
int main(void)
{
    char str[10] = "China";
    size_t len = 0;
    len = strlen(str);
    printf("%lu\n", len);
    return 0;
}